Software Synthesis using Automated Reasoning

Using Automated Reasoning Techniques to Determine Software Reuse

Reusing software may greatly increase the productivity of software engineers and improve the quality of developed software. Software component libraries have been suggested as a means for facilitating reuse. A major diiculty in designing software libraries is in the selection of a component representation that will facilitate the classiication and the retrieval processes. Using formal speciicat...

The SZS Ontologies for Automated Reasoning Software

This paper describes the SZS ontologies that provide status values for precisely describing what is known or has been established about logical data. The ontology values are useful for describing existing logical data, and for automated reasoning software to describe their input and output. Standards for presenting the ontology values are also provided.

Automated Software Architectural Synthesis using Patterns: A Cooperative Coevolution Approach

In software architecting process, architects use architectural patterns as reusable architectural knowledge for architectural synthesis. However, it has been observed that the resulting architecture does not always conform to the initial architectural patterns employed. Architectural synthesis using architectural patterns is also recognized as a challenging task, especially for novice architect...

Agentware: Automated Synthesis of Software Agents

Automated Reasoning for Software Engineering (F24AI1) Modelling & Formal Verification Assignment

Safety should be the primary concern when building a railway network. The safety of a railway network typically depends upon the use of track-side signals in regulating the safe passage of trains. Establishing the correctness of the systems that control the track-side signals therefore plays a crucial role in ensuring the safety of the railway network. The aim of the assignment is to develop a ...